Set theory

Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathematics – is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s.

Extends: [Set theory](https://wikipedia.org.ai/Set theory), [Mathematical logic](https://wikipedia.org.ai/Mathematical logic), [Formal methods](https://wikipedia.org.ai/Formal methods), [Georg Cantor](https://wikipedia.org.ai/Georg Cantor)